翻訳と辞書 Words near each other ・ Orders, decorations, and medals of Samoa ・ Orders, decorations, and medals of Selangor ・ Orders, decorations, and medals of Senegal ・ Orders, decorations, and medals of Serbia ・ Orders, decorations, and medals of SFR Yugoslavia ・ Orders, decorations, and medals of Slovakia ・ Orders, decorations, and medals of Slovenia ・ Orders, decorations, and medals of South Korea ・ Orders, decorations, and medals of South Vietnam ・ Orders, decorations, and medals of Spain ・ Orders, decorations, and medals of Swaziland ・ OrderAhead ・ Ordered Bell number ・ Ordered dithering ・ Ordered exponential ・ Ordered field ・ Ordered from the Catalogue ・ Ordered geometry ・ Ordered graph ・ Ordered list ・ Ordered logit ・ Ordered pair ・ Ordered probit ・ Ordered ring ・ Ordered semigroup ・ Ordered set operators ・ Ordered subset expectation maximization ・ Ordered to Die ・ Ordered vector space ・ Ordered weighted averaging aggregation operator Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Ordered field ： ウィキペディア英語版 Ordered field In mathematics, an ordered field is a field together with a total ordering of its elements that is compatible with the field operations. Historically, the axiomatization of an ordered field was abstracted gradually from the real numbers, by mathematicians including David Hilbert, Otto Hölder and Hans Hahn. This grew eventually into the Artin–Schreier theory of ordered fields and formally real fields. An ordered field necessarily has characteristic 0 since the elements necessarily are all distinct. Thus, an ordered field necessarily contains an infinite number of elements: a finite field cannot be ordered. Every subfield of an ordered field is also an ordered field in the inherited order. Every ordered field contains an ordered subfield that is isomorphic to the rational numbers. Any Dedekind-complete ordered field is isomorphic to the real numbers. Squares are necessarily non-negative in an ordered field. This implies that the complex numbers cannot be ordered since the square of the imaginary unit ''i'' is . Every ordered field is a formally real field. ==Definitions== There are two equivalent common definitions of an ordered field. The definition of total order appeared first historically and is a first-order axiomatization of the ordering ≤ as a binary predicate. Artin and Schreier gave the definition in terms of positive cone in 1926, which axiomatizes the subcollection of nonnegative elements. Although the latter is higher-order, viewing positive cones as ''maximal'' prepositive cones provides a larger context in which field orderings are ''extremal'' partial orderings. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Ordered field」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.